Proof Rules for MetaSMT
philipzucker.com·1d
🧮Z3 Solver
Writing Our Own Structure: Tries in Haskell & Rust
mmhaskell.com·16h
🌳Trie Structures
The Theory of Universal Computation: Bayesian Optimality, Solomonoff Induction & AIXI
towardsdatascience.com·12h
🧮Kolmogorov Bounds
Identity Types
bartoszmilewski.com·11h·
Discuss: Hacker News
🔤Type Theory
Mastering Python Sets: A Definitive Guide with Examples & Use Cases
dev.to·18h·
Discuss: DEV
📝Concrete Syntax
Creating a database of motivated proofs
gowers.wordpress.com·3h
🎯Performance Proofs
X Design Notes: Pattern Matching II
blog.polybdenum.com·1d
💻Programming languages
Biconnected components
emi-h.com·1d·
Discuss: Hacker News, r/programming
🕸️Graph Algorithms
Cactus Language • Mechanics 2
inquiryintoinquiry.com·8h
🔲Cellular Automata
Sum of Natural Numbers - A First Step into Algorithms in Go
dev.to·10h·
Discuss: DEV
⚔️Lean Tactics
CompileBench: Can AI Compile 22-year-old Code?
simonwillison.net·5h
🏗️Compiler Archaeology
The Cardinality of an Interval
youtube.com·21h
🏗️Constructive Mathematics
NZ-based AI system to predict the future
aardvark.co.nz·7h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·1d·
Discuss: Hacker News, r/programming
🚀Compiler Optimizations
The Networking Event (#4 in The itertools Series • `combinations()` and `permutations()`)
thepythoncodingstack.com·1d
🔗Concatenative Languages
Re-FRAME the Meeting Summarization SCOPE: Fact-Based Summarization and Personalization via Questions
arxiv.org·21h
🔗Monadic Parsing
Built a database in Rust and got 1000x the performance of Neo4j
reddit.com·2d·
Discuss: r/rust
🕸️Neo4j
MIT affiliates win AI for Math grants to accelerate mathematical discovery
news.mit.edu·5h
🧮Theorem Proving
I Spent Three Nights Solving Listen Labs Berghain Challenge (and Got #16)
kuber.studio·1d·
Discuss: Hacker News
🎯Performance Proofs
LingoDB – Data Processing with Compiler Technology
lingo-db.com·2d·
Discuss: Hacker News
🔨Compilers